Fix broken assertion in SEDF scheduler.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 13 Mar 2006 09:49:45 +0000 (10:49 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 13 Mar 2006 09:49:45 +0000 (10:49 +0100)
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/sched_sedf.c

index 994ecdfd8ef76cc7128f63096e83cb7cd6a630b2..d4e889551441b5931d4cf6640e1b56a800822086 100644 (file)
@@ -585,7 +585,7 @@ static void update_queues(
                 curinf->deadl_abs += 
                     DIV_UP(now - curinf->deadl_abs,
                            curinf->period) * curinf->period;
-            ASSERT(curinf->deadl_abs > now);
+            ASSERT(curinf->deadl_abs >= now);
             /*give a fresh slice*/
             curinf->cputime = 0;
             if (PERIOD_BEGIN(curinf) > now)